Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
21	Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Software engineering Computing Computer programming Data types Procedural programming languages Subroutines Type theory Object-oriented programming languages Partial evaluation Symbol Eval Type system
22	SUNlite Shedding some light on UFOlogy and UFOs Volume 5 Number 4 July-August 2013 Add to Reading List Source URL: www.astronomyufo.com Language: English - Date: 2014-07-07 19:21:27 Ufology Ufologists Paranormal Fringe theory Unidentified flying object Kevin D. Randle UFO conspiracy theory UFO Files Roswell UFO incident Robert Sheaffer Close encounter Project Blue Book
23	Extending Code Genera/on to Support Pla6orm-Independent Event-B Models Asieh Salehi, Michael Butler, Colin Snook University of Southampton, Southampton, United Kingdom Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-30 13:27:32 Software engineering Computer programming Programming language theory Object-oriented programming languages Procedural programming languages Cross-platform software Functional languages J C E D
24	Value Types and Object Classes Ole-Johan Dahl Dept. of Informatics, University of Oslo Talk presented at the 25 years Simula 67 Anniversary Conferences, NordwijkerhoutJune 1992 and Oslo 22 June. Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Subroutines Data types Recursion Type theory Programming idioms Fold ALGOL 68 Subtyping Record Generator
25	A geographic data model based on HBDS concepts: The IGN Cartographic Data Base Model Francois Salge - Marie NoSlle Sclafer Institut Geographique National - France B.P, Av. Pasteur Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:32:50 Computing Software engineering Object-oriented programming Graph theory Graph Data model Object Class Vertex Web Ontology Language Attribute Object-based spatial database
26	© Bjarne Stroustrup, D-R-A-F-T Instructor’s notes Add to Reading List Source URL: stroustrup.com Language: English - Date: 2011-10-07 14:43:41 Software engineering Computer programming Programming language theory Object-oriented programming languages Object-oriented programming Procedural programming languages IBM software C++ Cross-platform software Const This ALGOL 68
27	Lesson Outline Do the Right Thing KS1 KS1 Values, Money & Me Add to Reading List Source URL: www.valuesmoneyandme.co.uk Language: English - Date: 2015-06-12 11:55:43 Philosophy Metaphysics Value theory Economics Marxian economics Culture Social philosophy Value Object Money
28	Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function
29	Gradual Typing with Efficient Object Casts Michael M. Vitousek Department of Computer Science, University of Colorado at Boulder Space-efficiency in gradually-typed objects Gradual object structure Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:49 Software engineering Computing Computer programming Type theory Data types Object-oriented programming languages Scripting languages Object-oriented programming Gradual typing Type system Type safety ActionScript
30	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan

UPDATE